LEARNING A BETTER REPRESENTATION OF SPEECH SOUND WAVES USING RESTRICTED BOLTZMANN MACHINES Navdeep Jaitly, Geoffrey Hinton Department of Computer Science, University of Toronto, Toronto, M5S 3G4, Canada ABSTRACT State of

Source URL: www.cs.toronto.edu

Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines João Sousa and Alysson Bessani LaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal Abstract—State machine replica

Source URL: www.di.fc.ul.pt

• Computing
• Fault-tolerant computer systems
• Data synchronization
• Network protocols
• Internet protocols
• State machine replication
• Byzantine fault tolerance
• Replication
• Hypertext Transfer Protocol
• Quorum
• WAN optimization
• Latency

Composition with Consistent Updates for Abstract State Machines Colin Gordon, Leo Meyerovich, Joel Weinberger, and Shriram Krishnamurthi Brown University, Providence RI 02912, USA Contact:

Source URL: www.cs.drexel.edu

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

Commodifying Replicated State Machines with OpenReplica Deniz Altınb¨uken, Emin G¨un Sirer Computer Science Department, Cornell University {deniz,egs}@cs.cornell.edu Draft: Not for Redistribution Abstract

Source URL: openreplica.org

PDF Document

Source URL: www.kestrel.edu

• Formal methods
• Specification language
• Refinement
• Abstract state machines
• Specification
• Object Process Methodology
• Domain-specific language
• Programming language
• Integrated circuit design
• Formal specification
• Isabelle
• Program derivation

Abstract State Machines for the Classroom – The Basics – Wolfgang Reisig Institut f¨ ur Informatik, Math.-Nat. Fakult¨ at II, Humboldt-Universit¨

Source URL: www2.informatik.hu-berlin.de

R. Landauer Irreversibility and Heat Generation in the Computing Process Abstract: It i s argued that computing machines inevitably involve devices which perform logical functions

Source URL: worrydream.com

• Philosophy of thermal and statistical physics
• State functions
• Non-equilibrium thermodynamics
• Entropy
• Reversible computing
• Energy
• Information theory
• Irreversible process
• Identical particles
• Physics
• Thermodynamics
• Thermodynamic entropy

T HE EASST N EWSLETTER A Summary of: Rule Execution in Graph-Based Incremental Interactive Integration Tools

Source URL: www-i3.informatik.rwth-aachen.de

• Mathematics
• Formal methods
• Abstract state machines
• Model checking
• Applied mathematics
• Graph rewriting
• Theoretical computer science
• Graph theory

Refinement Method for Abstract State Machines Egon Börger Dipartimento di Informatica, Universita di Pisa

Source URL: www-madlener.informatik.uni-kl.de

• Program refinement
• Software engineering
• Computing
• Formal methods
• Abstract state machines
• Egon Börger